\(\int (e x)^m (a+b x^n) (A+B x^n) (c+d x^n) \, dx\) [3]

Optimal result

Integrand size = 27, antiderivative size = 108 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\frac {(A b c+a B c+a A d) x^{1+n} (e x)^m}{1+m+n}+\frac {(b B c+A b d+a B d) x^{1+2 n} (e x)^m}{1+m+2 n}+\frac {b B d x^{1+3 n} (e x)^m}{1+m+3 n}+\frac {a A c (e x)^{1+m}}{e (1+m)} \]

[Out]

(A*a*d+A*b*c+B*a*c)*x^(1+n)*(e*x)^m/(1+m+n)+(A*b*d+B*a*d+B*b*c)*x^(1+2*n)*(e*x)^m/(1+m+2*n)+b*B*d*x^(1+3*n)*(e
*x)^m/(1+m+3*n)+a*A*c*(e*x)^(1+m)/e/(1+m)

Rubi [A] (verified)

Time = 0.06 (sec) , antiderivative size = 108, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {584, 20, 30} \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\frac {x^{n+1} (e x)^m (a A d+a B c+A b c)}{m+n+1}+\frac {x^{2 n+1} (e x)^m (a B d+A b d+b B c)}{m+2 n+1}+\frac {a A c (e x)^{m+1}}{e (m+1)}+\frac {b B d x^{3 n+1} (e x)^m}{m+3 n+1} \]

[In]

Int[(e*x)^m*(a + b*x^n)*(A + B*x^n)*(c + d*x^n),x]

[Out]

((A*b*c + a*B*c + a*A*d)*x^(1 + n)*(e*x)^m)/(1 + m + n) + ((b*B*c + A*b*d + a*B*d)*x^(1 + 2*n)*(e*x)^m)/(1 + m
+ 2*n) + (b*B*d*x^(1 + 3*n)*(e*x)^m)/(1 + m + 3*n) + (a*A*c*(e*x)^(1 + m))/(e*(1 + m))

Rule 20

Int[(u_.)*((a_.)*(v_))^(m_)*((b_.)*(v_))^(n_), x_Symbol] :> Dist[b^IntPart[n]*((b*v)^FracPart[n]/(a^IntPart[n]
*(a*v)^FracPart[n])), Int[u*(a*v)^(m + n), x], x] /; FreeQ[{a, b, m, n}, x] &&  !IntegerQ[m] &&  !IntegerQ[n]
&&  !IntegerQ[m + n]

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 584

Int[((g_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_))^(q_.)*((e_) + (f_.)*(x_)^(n_))^
(r_.), x_Symbol] :> Int[ExpandIntegrand[(g*x)^m*(a + b*x^n)^p*(c + d*x^n)^q*(e + f*x^n)^r, x], x] /; FreeQ[{a,
b, c, d, e, f, g, m, n}, x] && IGtQ[p, -2] && IGtQ[q, 0] && IGtQ[r, 0]

Rubi steps \begin{align*} \text {integral}& = \int \left (a A c (e x)^m+(A b c+a B c+a A d) x^n (e x)^m+(b B c+A b d+a B d) x^{2 n} (e x)^m+b B d x^{3 n} (e x)^m\right ) \, dx \\ & = \frac {a A c (e x)^{1+m}}{e (1+m)}+(b B d) \int x^{3 n} (e x)^m \, dx+(A b c+a B c+a A d) \int x^n (e x)^m \, dx+(b B c+A b d+a B d) \int x^{2 n} (e x)^m \, dx \\ & = \frac {a A c (e x)^{1+m}}{e (1+m)}+\left (b B d x^{-m} (e x)^m\right ) \int x^{m+3 n} \, dx+\left ((A b c+a B c+a A d) x^{-m} (e x)^m\right ) \int x^{m+n} \, dx+\left ((b B c+A b d+a B d) x^{-m} (e x)^m\right ) \int x^{m+2 n} \, dx \\ & = \frac {(A b c+a B c+a A d) x^{1+n} (e x)^m}{1+m+n}+\frac {(b B c+A b d+a B d) x^{1+2 n} (e x)^m}{1+m+2 n}+\frac {b B d x^{1+3 n} (e x)^m}{1+m+3 n}+\frac {a A c (e x)^{1+m}}{e (1+m)} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.25 (sec) , antiderivative size = 84, normalized size of antiderivative = 0.78 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=x (e x)^m \left (\frac {a A c}{1+m}+\frac {(A b c+a B c+a A d) x^n}{1+m+n}+\frac {(b B c+A b d+a B d) x^{2 n}}{1+m+2 n}+\frac {b B d x^{3 n}}{1+m+3 n}\right ) \]

[In]

Integrate[(e*x)^m*(a + b*x^n)*(A + B*x^n)*(c + d*x^n),x]

[Out]

x*(e*x)^m*((a*A*c)/(1 + m) + ((A*b*c + a*B*c + a*A*d)*x^n)/(1 + m + n) + ((b*B*c + A*b*d + a*B*d)*x^(2*n))/(1
+ m + 2*n) + (b*B*d*x^(3*n))/(1 + m + 3*n))

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 0.35 (sec) , antiderivative size = 858, normalized size of antiderivative = 7.94

method	result	size
risch	\(\frac {x \left (A a d \,x^{n}+B a c \,x^{n}+3 A a c m +A a c +6 B b d m n \,x^{3 n}+3 A \,x^{n} a d m +5 A \,x^{n} a d n +3 A \,x^{n} b c m +5 A \,x^{n} b c n +3 B \,x^{n} a c m +5 B \,x^{n} a c n +A b c \,m^{3} x^{n}+3 B a d \,n^{2} x^{2 n}+10 A a d m n \,x^{n}+6 A a c n +A b c \,x^{n}+3 B b d \,m^{2} n \,x^{3 n}+6 B a c m \,n^{2} x^{n}+5 A b c \,m^{2} n \,x^{n}+10 A b c m n \,x^{n}+A a d \,m^{3} x^{n}+5 B a c \,m^{2} n \,x^{n}+8 B a d m n \,x^{2 n}+5 A a d \,m^{2} n \,x^{n}+6 A a d m \,n^{2} x^{n}+10 B a c m n \,x^{n}+6 A b c m \,n^{2} x^{n}+3 A a d \,m^{2} x^{n}+6 A a d \,n^{2} x^{n}+8 A b d m n \,x^{2 n}+4 B b c \,m^{2} n \,x^{2 n}+3 B b c m \,n^{2} x^{2 n}+2 B b d m \,n^{2} x^{3 n}+A a c \,m^{3}+3 A a c \,m^{2}+11 A a c \,n^{2}+6 A a c \,n^{3}+8 B b c m n \,x^{2 n}+4 A b d \,m^{2} n \,x^{2 n}+4 B a d \,m^{2} n \,x^{2 n}+3 A b d m \,n^{2} x^{2 n}+3 B a d m \,n^{2} x^{2 n}+3 B a c \,m^{2} x^{n}+6 B a c \,n^{2} x^{n}+12 A a c m n +B a c \,m^{3} x^{n}+A b d \,x^{2 n}+B a d \,x^{2 n}+B b c \,x^{2 n}+d b \,x^{3 n} B +3 A b c \,m^{2} x^{n}+6 A b c \,n^{2} x^{n}+6 A a c \,m^{2} n +11 A a c m \,n^{2}+3 B b c \,n^{2} x^{2 n}+B b d \,m^{3} x^{3 n}+3 B \,x^{2 n} a d m +4 B \,x^{2 n} a d n +3 B \,x^{2 n} b c m +4 B \,x^{2 n} b c n +3 B \,x^{3 n} b d m +3 B \,x^{3 n} b d n +3 A \,x^{2 n} b d m +4 A \,x^{2 n} b d n +3 B b d \,m^{2} x^{3 n}+2 B b d \,n^{2} x^{3 n}+B b c \,m^{3} x^{2 n}+3 A b d \,m^{2} x^{2 n}+3 A b d \,n^{2} x^{2 n}+3 B a d \,m^{2} x^{2 n}+A b d \,m^{3} x^{2 n}+B a d \,m^{3} x^{2 n}+3 B b c \,m^{2} x^{2 n}\right ) e^{m} x^{m} {\mathrm e}^{\frac {i \operatorname {csgn}\left (i e x \right ) \pi m \left (\operatorname {csgn}\left (i e x \right )-\operatorname {csgn}\left (i x \right )\right ) \left (-\operatorname {csgn}\left (i e x \right )+\operatorname {csgn}\left (i e \right )\right )}{2}}}{\left (1+m \right ) \left (1+m +n \right ) \left (1+m +2 n \right ) \left (1+m +3 n \right )}\)	\(858\)
parallelrisch	\(\text {Expression too large to display}\)	\(1249\)

[In]

int((e*x)^m*(a+b*x^n)*(A+B*x^n)*(c+d*x^n),x,method=_RETURNVERBOSE)

[Out]

x*(A*b*d*(x^n)^2+B*a*d*(x^n)^2+B*b*c*(x^n)^2+A*a*d*x^n+B*a*c*x^n+8*A*b*d*m*n*(x^n)^2+3*A*a*c*m+A*a*c+3*A*b*d*m
*n^2*(x^n)^2+3*B*a*d*m*n^2*(x^n)^2+3*B*a*d*n^2*(x^n)^2+3*B*(x^n)^2*a*d*m+4*B*(x^n)^2*a*d*n+3*B*(x^n)^2*b*c*m+4
*B*(x^n)^2*b*c*n+3*A*x^n*a*d*m+5*A*x^n*a*d*n+3*A*x^n*b*c*m+5*A*x^n*b*c*n+3*B*x^n*a*c*m+5*B*x^n*a*c*n+A*b*c*m^3
*x^n+3*B*(x^n)^3*b*d*m+3*B*(x^n)^3*b*d*n+3*A*(x^n)^2*b*d*m+4*A*(x^n)^2*b*d*n+3*B*b*c*m*n^2*(x^n)^2+2*B*b*d*m*n
^2*(x^n)^3+10*A*a*d*m*n*x^n+6*A*a*c*n+A*b*c*x^n+6*B*a*c*m*n^2*x^n+3*B*b*d*m^2*n*(x^n)^3+4*B*b*c*m^2*n*(x^n)^2+
6*B*b*d*m*n*(x^n)^3+5*A*b*c*m^2*n*x^n+10*A*b*c*m*n*x^n+3*B*b*d*m^2*(x^n)^3+2*B*b*d*n^2*(x^n)^3+A*a*d*m^3*x^n+5
*B*a*c*m^2*n*x^n+8*B*b*c*m*n*(x^n)^2+4*B*a*d*m^2*n*(x^n)^2+5*A*a*d*m^2*n*x^n+6*A*a*d*m*n^2*x^n+10*B*a*c*m*n*x^
n+4*A*b*d*m^2*n*(x^n)^2+8*B*a*d*m*n*(x^n)^2+6*A*b*c*m*n^2*x^n+3*A*a*d*m^2*x^n+6*A*a*d*n^2*x^n+A*a*c*m^3+3*A*a*
c*m^2+11*A*a*c*n^2+d*b*(x^n)^3*B+6*A*a*c*n^3+B*b*c*m^3*(x^n)^2+3*B*a*c*m^2*x^n+6*B*a*c*n^2*x^n+12*A*a*c*m*n+3*
A*b*d*m^2*(x^n)^2+3*A*b*d*n^2*(x^n)^2+B*a*c*m^3*x^n+3*B*a*d*m^2*(x^n)^2+3*B*b*c*m^2*(x^n)^2+3*B*b*c*n^2*(x^n)^
2+3*A*b*c*m^2*x^n+6*A*b*c*n^2*x^n+B*b*d*m^3*(x^n)^3+A*b*d*m^3*(x^n)^2+B*a*d*m^3*(x^n)^2+6*A*a*c*m^2*n+11*A*a*c
*m*n^2)/(1+m)/(1+m+n)/(1+m+2*n)/(1+m+3*n)*e^m*x^m*exp(1/2*I*csgn(I*e*x)*Pi*m*(csgn(I*e*x)-csgn(I*x))*(-csgn(I*
e*x)+csgn(I*e)))

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 562 vs. \(2 (108) = 216\).

Time = 0.27 (sec) , antiderivative size = 562, normalized size of antiderivative = 5.20 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\frac {{\left (B b d m^{3} + 3 \, B b d m^{2} + 3 \, B b d m + B b d + 2 \, {\left (B b d m + B b d\right )} n^{2} + 3 \, {\left (B b d m^{2} + 2 \, B b d m + B b d\right )} n\right )} x x^{3 \, n} e^{\left (m \log \left (e\right ) + m \log \left (x\right )\right )} + {\left ({\left (B b c + {\left (B a + A b\right )} d\right )} m^{3} + B b c + 3 \, {\left (B b c + {\left (B a + A b\right )} d\right )} m^{2} + 3 \, {\left (B b c + {\left (B a + A b\right )} d + {\left (B b c + {\left (B a + A b\right )} d\right )} m\right )} n^{2} + {\left (B a + A b\right )} d + 3 \, {\left (B b c + {\left (B a + A b\right )} d\right )} m + 4 \, {\left (B b c + {\left (B b c + {\left (B a + A b\right )} d\right )} m^{2} + {\left (B a + A b\right )} d + 2 \, {\left (B b c + {\left (B a + A b\right )} d\right )} m\right )} n\right )} x x^{2 \, n} e^{\left (m \log \left (e\right ) + m \log \left (x\right )\right )} + {\left ({\left (A a d + {\left (B a + A b\right )} c\right )} m^{3} + A a d + 3 \, {\left (A a d + {\left (B a + A b\right )} c\right )} m^{2} + 6 \, {\left (A a d + {\left (B a + A b\right )} c + {\left (A a d + {\left (B a + A b\right )} c\right )} m\right )} n^{2} + {\left (B a + A b\right )} c + 3 \, {\left (A a d + {\left (B a + A b\right )} c\right )} m + 5 \, {\left (A a d + {\left (A a d + {\left (B a + A b\right )} c\right )} m^{2} + {\left (B a + A b\right )} c + 2 \, {\left (A a d + {\left (B a + A b\right )} c\right )} m\right )} n\right )} x x^{n} e^{\left (m \log \left (e\right ) + m \log \left (x\right )\right )} + {\left (A a c m^{3} + 6 \, A a c n^{3} + 3 \, A a c m^{2} + 3 \, A a c m + A a c + 11 \, {\left (A a c m + A a c\right )} n^{2} + 6 \, {\left (A a c m^{2} + 2 \, A a c m + A a c\right )} n\right )} x e^{\left (m \log \left (e\right ) + m \log \left (x\right )\right )}}{m^{4} + 6 \, {\left (m + 1\right )} n^{3} + 4 \, m^{3} + 11 \, {\left (m^{2} + 2 \, m + 1\right )} n^{2} + 6 \, m^{2} + 6 \, {\left (m^{3} + 3 \, m^{2} + 3 \, m + 1\right )} n + 4 \, m + 1} \]

[In]

integrate((e*x)^m*(a+b*x^n)*(A+B*x^n)*(c+d*x^n),x, algorithm="fricas")

[Out]

((B*b*d*m^3 + 3*B*b*d*m^2 + 3*B*b*d*m + B*b*d + 2*(B*b*d*m + B*b*d)*n^2 + 3*(B*b*d*m^2 + 2*B*b*d*m + B*b*d)*n)
*x*x^(3*n)*e^(m*log(e) + m*log(x)) + ((B*b*c + (B*a + A*b)*d)*m^3 + B*b*c + 3*(B*b*c + (B*a + A*b)*d)*m^2 + 3*
(B*b*c + (B*a + A*b)*d + (B*b*c + (B*a + A*b)*d)*m)*n^2 + (B*a + A*b)*d + 3*(B*b*c + (B*a + A*b)*d)*m + 4*(B*b
*c + (B*b*c + (B*a + A*b)*d)*m^2 + (B*a + A*b)*d + 2*(B*b*c + (B*a + A*b)*d)*m)*n)*x*x^(2*n)*e^(m*log(e) + m*l
og(x)) + ((A*a*d + (B*a + A*b)*c)*m^3 + A*a*d + 3*(A*a*d + (B*a + A*b)*c)*m^2 + 6*(A*a*d + (B*a + A*b)*c + (A*
a*d + (B*a + A*b)*c)*m)*n^2 + (B*a + A*b)*c + 3*(A*a*d + (B*a + A*b)*c)*m + 5*(A*a*d + (A*a*d + (B*a + A*b)*c)
*m^2 + (B*a + A*b)*c + 2*(A*a*d + (B*a + A*b)*c)*m)*n)*x*x^n*e^(m*log(e) + m*log(x)) + (A*a*c*m^3 + 6*A*a*c*n^
3 + 3*A*a*c*m^2 + 3*A*a*c*m + A*a*c + 11*(A*a*c*m + A*a*c)*n^2 + 6*(A*a*c*m^2 + 2*A*a*c*m + A*a*c)*n)*x*e^(m*l
og(e) + m*log(x)))/(m^4 + 6*(m + 1)*n^3 + 4*m^3 + 11*(m^2 + 2*m + 1)*n^2 + 6*m^2 + 6*(m^3 + 3*m^2 + 3*m + 1)*n
+ 4*m + 1)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 7796 vs. \(2 (104) = 208\).

Time = 3.82 (sec) , antiderivative size = 7796, normalized size of antiderivative = 72.19 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\text {Too large to display} \]

[In]

integrate((e*x)**m*(a+b*x**n)*(A+B*x**n)*(c+d*x**n),x)

[Out]

Piecewise(((A + B)*(a + b)*(c + d)*log(x)/e, Eq(m, -1) & Eq(n, 0)), ((A*a*c*log(x) + A*a*d*x**n/n + A*b*c*x**n
/n + A*b*d*x**(2*n)/(2*n) + B*a*c*x**n/n + B*a*d*x**(2*n)/(2*n) + B*b*c*x**(2*n)/(2*n) + B*b*d*x**(3*n)/(3*n))
/e, Eq(m, -1)), (A*a*c*Piecewise((0**(-3*n - 1)*x, Eq(e, 0)), (Piecewise((-1/(3*n*(e*x)**(3*n)), Ne(n, 0)), (l
og(e*x), True))/e, True)) + A*a*d*Piecewise((-x*x**n*(e*x)**(-3*n - 1)/(2*n), Ne(n, 0)), (x*x**n*(e*x)**(-3*n
- 1)*log(x), True)) + A*b*c*Piecewise((-x*x**n*(e*x)**(-3*n - 1)/(2*n), Ne(n, 0)), (x*x**n*(e*x)**(-3*n - 1)*l
og(x), True)) + A*b*d*Piecewise((-x*x**(2*n)*(e*x)**(-3*n - 1)/n, Ne(n, 0)), (x*x**(2*n)*(e*x)**(-3*n - 1)*log
(x), True)) + B*a*c*Piecewise((-x*x**n*(e*x)**(-3*n - 1)/(2*n), Ne(n, 0)), (x*x**n*(e*x)**(-3*n - 1)*log(x), T
rue)) + B*a*d*Piecewise((-x*x**(2*n)*(e*x)**(-3*n - 1)/n, Ne(n, 0)), (x*x**(2*n)*(e*x)**(-3*n - 1)*log(x), Tru
e)) + B*b*c*Piecewise((-x*x**(2*n)*(e*x)**(-3*n - 1)/n, Ne(n, 0)), (x*x**(2*n)*(e*x)**(-3*n - 1)*log(x), True)
) + B*b*d*x*x**(3*n)*(e*x)**(-3*n - 1)*log(x), Eq(m, -3*n - 1)), (A*a*c*Piecewise((0**(-2*n - 1)*x, Eq(e, 0)),
(Piecewise((-1/(2*n*(e*x)**(2*n)), Ne(n, 0)), (log(e*x), True))/e, True)) + A*a*d*Piecewise((-x*x**n*(e*x)**(
-2*n - 1)/n, Ne(n, 0)), (x*x**n*(e*x)**(-2*n - 1)*log(x), True)) + A*b*c*Piecewise((-x*x**n*(e*x)**(-2*n - 1)/
n, Ne(n, 0)), (x*x**n*(e*x)**(-2*n - 1)*log(x), True)) + A*b*d*x*x**(2*n)*(e*x)**(-2*n - 1)*log(x) + B*a*c*Pie
cewise((-x*x**n*(e*x)**(-2*n - 1)/n, Ne(n, 0)), (x*x**n*(e*x)**(-2*n - 1)*log(x), True)) + B*a*d*x*x**(2*n)*(e
*x)**(-2*n - 1)*log(x) + B*b*c*x*x**(2*n)*(e*x)**(-2*n - 1)*log(x) + B*b*d*Piecewise((x*x**(3*n)*(e*x)**(-2*n
- 1)/n, Ne(n, 0)), (x*x**(3*n)*(e*x)**(-2*n - 1)*log(x), True)), Eq(m, -2*n - 1)), (A*a*c*Piecewise((0**(-n -
1)*x, Eq(e, 0)), (Piecewise((-1/(n*(e*x)**n), Ne(n, 0)), (log(e*x), True))/e, True)) + A*a*d*x*x**n*(e*x)**(-n
- 1)*log(x) + A*b*c*x*x**n*(e*x)**(-n - 1)*log(x) + A*b*d*Piecewise((x*x**(2*n)*(e*x)**(-n - 1)/n, Ne(n, 0)),
(x*x**(2*n)*(e*x)**(-n - 1)*log(x), True)) + B*a*c*x*x**n*(e*x)**(-n - 1)*log(x) + B*a*d*Piecewise((x*x**(2*n
)*(e*x)**(-n - 1)/n, Ne(n, 0)), (x*x**(2*n)*(e*x)**(-n - 1)*log(x), True)) + B*b*c*Piecewise((x*x**(2*n)*(e*x)
**(-n - 1)/n, Ne(n, 0)), (x*x**(2*n)*(e*x)**(-n - 1)*log(x), True)) + B*b*d*Piecewise((x*x**(3*n)*(e*x)**(-n -
1)/(2*n), Ne(n, 0)), (x*x**(3*n)*(e*x)**(-n - 1)*log(x), True)), Eq(m, -n - 1)), (A*a*c*m**3*x*(e*x)**m/(m**4
+ 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n
**2 + 6*n + 1) + 6*A*a*c*m**2*n*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m
*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*a*c*m**2*x*(e*x)**m/(m**4 + 6*m**3*n + 4*
m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) +
11*A*a*c*m*n**2*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n*
*2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 12*A*a*c*m*n*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*
n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*a*c*m*x*(e
*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6
*n**3 + 11*n**2 + 6*n + 1) + 6*A*a*c*n**3*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*
m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 11*A*a*c*n**2*x*(e*x)**m/(m**4 + 6*
m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 +
6*n + 1) + 6*A*a*c*n*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22
*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*a*c*x*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n*
*2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*a*d*m**3*x*x**
n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m
+ 6*n**3 + 11*n**2 + 6*n + 1) + 5*A*a*d*m**2*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*
m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*a*d*m**2*x*x**n*(e*x
)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n
**3 + 11*n**2 + 6*n + 1) + 6*A*a*d*m*n**2*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n
+ 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 10*A*a*d*m*n*x*x**n*(e*x)**m/(
m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 +
11*n**2 + 6*n + 1) + 3*A*a*d*m*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 +
6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 6*A*a*d*n**2*x*x**n*(e*x)**m/(m**4 + 6*m*
*3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6
*n + 1) + 5*A*a*d*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 +
22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*a*d*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11
*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*b*c*m*
*3*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m
*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 5*A*b*c*m**2*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n*
*2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*b*c*m**2*x*x
**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4
*m + 6*n**3 + 11*n**2 + 6*n + 1) + 6*A*b*c*m*n**2*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 1
8*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 10*A*b*c*m*n*x*x**n*(e
*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6
*n**3 + 11*n**2 + 6*n + 1) + 3*A*b*c*m*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n +
6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 6*A*b*c*n**2*x*x**n*(e*x)**m/(m**
4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*
n**2 + 6*n + 1) + 5*A*b*c*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*
m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*b*c*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m
**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) +
A*b*d*m**3*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m
*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*A*b*d*m**2*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m
**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) +
3*A*b*d*m**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22
*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*b*d*m*n**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4
*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1)
+ 8*A*b*d*m*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 2
2*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*A*b*d*m*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**
3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*
A*b*d*n**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m
*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*A*b*d*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 +
11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + A*b*d
*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18
*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + B*a*c*m**3*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2
+ 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 5*B*a*c*m**2*n*x*x
**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4
*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*a*c*m**2*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*
m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 6*B*a*c*m*n**2*x*x**n*(e
*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6
*n**3 + 11*n**2 + 6*n + 1) + 10*B*a*c*m*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n
+ 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*a*c*m*x*x**n*(e*x)**m/(m**
4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*
n**2 + 6*n + 1) + 6*B*a*c*n**2*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 +
6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 5*B*a*c*n*x*x**n*(e*x)**m/(m**4 + 6*m**3*
n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n
+ 1) + B*a*c*x*x**n*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n
**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + B*a*d*m**3*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 +
11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*B*a*
d*m**2*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n
**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*a*d*m**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3
+ 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*
a*d*m*n**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m
*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 8*B*a*d*m*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3
+ 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B
*a*d*m*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**
2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*a*d*n**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 +
11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*B*a*
d*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 +
18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + B*a*d*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n*
*2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + B*b*c*m**3*x*x**
(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n +
4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*B*b*c*m**2*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n*
*2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*c*m**2*x*x
**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n
+ 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*c*m*n**2*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*
n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 8*B*b*c*m*n*x*
x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*
n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*c*m*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2
+ 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*c*n**2*x*x**
(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n +
4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 4*B*b*c*n*x*x**(2*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 +
18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + B*b*c*x*x**(2*n)*(e*x
)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n
**3 + 11*n**2 + 6*n + 1) + B*b*d*m**3*x*x**(3*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n
+ 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*d*m**2*n*x*x**(3*n)*(e*x
)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n
**3 + 11*n**2 + 6*n + 1) + 3*B*b*d*m**2*x*x**(3*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2
*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 2*B*b*d*m*n**2*x*x**(3*n)*(e
*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6
*n**3 + 11*n**2 + 6*n + 1) + 6*B*b*d*m*n*x*x**(3*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**
2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*d*m*x*x**(3*n)*(e*x)*
*m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**
3 + 11*n**2 + 6*n + 1) + 2*B*b*d*n**2*x*x**(3*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n
+ 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1) + 3*B*b*d*n*x*x**(3*n)*(e*x)**m/
(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2 + 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 +
11*n**2 + 6*n + 1) + B*b*d*x*x**(3*n)*(e*x)**m/(m**4 + 6*m**3*n + 4*m**3 + 11*m**2*n**2 + 18*m**2*n + 6*m**2
+ 6*m*n**3 + 22*m*n**2 + 18*m*n + 4*m + 6*n**3 + 11*n**2 + 6*n + 1), True))

Maxima [A] (verification not implemented)

none

Time = 0.21 (sec) , antiderivative size = 200, normalized size of antiderivative = 1.85 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\frac {B b d e^{m} x e^{\left (m \log \left (x\right ) + 3 \, n \log \left (x\right )\right )}}{m + 3 \, n + 1} + \frac {B b c e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {B a d e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {A b d e^{m} x e^{\left (m \log \left (x\right ) + 2 \, n \log \left (x\right )\right )}}{m + 2 \, n + 1} + \frac {B a c e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {A b c e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {A a d e^{m} x e^{\left (m \log \left (x\right ) + n \log \left (x\right )\right )}}{m + n + 1} + \frac {\left (e x\right )^{m + 1} A a c}{e {\left (m + 1\right )}} \]

[In]

integrate((e*x)^m*(a+b*x^n)*(A+B*x^n)*(c+d*x^n),x, algorithm="maxima")

[Out]

B*b*d*e^m*x*e^(m*log(x) + 3*n*log(x))/(m + 3*n + 1) + B*b*c*e^m*x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + B*
a*d*e^m*x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + A*b*d*e^m*x*e^(m*log(x) + 2*n*log(x))/(m + 2*n + 1) + B*a*
c*e^m*x*e^(m*log(x) + n*log(x))/(m + n + 1) + A*b*c*e^m*x*e^(m*log(x) + n*log(x))/(m + n + 1) + A*a*d*e^m*x*e^
(m*log(x) + n*log(x))/(m + n + 1) + (e*x)^(m + 1)*A*a*c/(e*(m + 1))

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 3764 vs. \(2 (108) = 216\).

Time = 0.30 (sec) , antiderivative size = 3764, normalized size of antiderivative = 34.85 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\text {Too large to display} \]

[In]

integrate((e*x)^m*(a+b*x^n)*(A+B*x^n)*(c+d*x^n),x, algorithm="giac")

[Out]

(B*b*d*m^3*x*x^(3*n)*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*n*x*x^(3*n)*e^(m*log(e) + m*log(x)) + 2*B*b*d*m*n^2
*x*x^(3*n)*e^(m*log(e) + m*log(x)) + B*b*c*m^3*x*x^(2*n)*e^(m*log(e) + m*log(x)) + B*a*d*m^3*x*x^(2*n)*e^(m*lo
g(e) + m*log(x)) + A*b*d*m^3*x*x^(2*n)*e^(m*log(e) + m*log(x)) + B*b*d*m^3*x*x^(2*n)*e^(m*log(e) + m*log(x)) +
4*B*b*c*m^2*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 4*B*a*d*m^2*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 4*A*b*d*m
^2*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*b*c*m*n^2*x*x^(
2*n)*e^(m*log(e) + m*log(x)) + 3*B*a*d*m*n^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*n^2*x*x^(2*n)*e^(m*
log(e) + m*log(x)) + 2*B*b*d*m*n^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + B*a*c*m^3*x*x^n*e^(m*log(e) + m*log(x))
+ A*b*c*m^3*x*x^n*e^(m*log(e) + m*log(x)) + B*b*c*m^3*x*x^n*e^(m*log(e) + m*log(x)) + A*a*d*m^3*x*x^n*e^(m*lo
g(e) + m*log(x)) + B*a*d*m^3*x*x^n*e^(m*log(e) + m*log(x)) + A*b*d*m^3*x*x^n*e^(m*log(e) + m*log(x)) + B*b*d*m
^3*x*x^n*e^(m*log(e) + m*log(x)) + 5*B*a*c*m^2*n*x*x^n*e^(m*log(e) + m*log(x)) + 5*A*b*c*m^2*n*x*x^n*e^(m*log(
e) + m*log(x)) + 4*B*b*c*m^2*n*x*x^n*e^(m*log(e) + m*log(x)) + 5*A*a*d*m^2*n*x*x^n*e^(m*log(e) + m*log(x)) + 4
*B*a*d*m^2*n*x*x^n*e^(m*log(e) + m*log(x)) + 4*A*b*d*m^2*n*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*n*x*x^n
*e^(m*log(e) + m*log(x)) + 6*B*a*c*m*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 6*A*b*c*m*n^2*x*x^n*e^(m*log(e) + m*l
og(x)) + 3*B*b*c*m*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 6*A*a*d*m*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*a*d*m
*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 2*B*b*d*m*n^2*x*x^n*e^(m*lo
g(e) + m*log(x)) + A*a*c*m^3*x*e^(m*log(e) + m*log(x)) + B*a*c*m^3*x*e^(m*log(e) + m*log(x)) + A*b*c*m^3*x*e^(
m*log(e) + m*log(x)) + B*b*c*m^3*x*e^(m*log(e) + m*log(x)) + A*a*d*m^3*x*e^(m*log(e) + m*log(x)) + B*a*d*m^3*x
*e^(m*log(e) + m*log(x)) + A*b*d*m^3*x*e^(m*log(e) + m*log(x)) + B*b*d*m^3*x*e^(m*log(e) + m*log(x)) + 6*A*a*c
*m^2*n*x*e^(m*log(e) + m*log(x)) + 5*B*a*c*m^2*n*x*e^(m*log(e) + m*log(x)) + 5*A*b*c*m^2*n*x*e^(m*log(e) + m*l
og(x)) + 4*B*b*c*m^2*n*x*e^(m*log(e) + m*log(x)) + 5*A*a*d*m^2*n*x*e^(m*log(e) + m*log(x)) + 4*B*a*d*m^2*n*x*e
^(m*log(e) + m*log(x)) + 4*A*b*d*m^2*n*x*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*n*x*e^(m*log(e) + m*log(x)) + 1
1*A*a*c*m*n^2*x*e^(m*log(e) + m*log(x)) + 6*B*a*c*m*n^2*x*e^(m*log(e) + m*log(x)) + 6*A*b*c*m*n^2*x*e^(m*log(e
) + m*log(x)) + 3*B*b*c*m*n^2*x*e^(m*log(e) + m*log(x)) + 6*A*a*d*m*n^2*x*e^(m*log(e) + m*log(x)) + 3*B*a*d*m*
n^2*x*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*n^2*x*e^(m*log(e) + m*log(x)) + 2*B*b*d*m*n^2*x*e^(m*log(e) + m*log(
x)) + 6*A*a*c*n^3*x*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*x*x^(3*n)*e^(m*log(e) + m*log(x)) + 6*B*b*d*m*n*x*x^
(3*n)*e^(m*log(e) + m*log(x)) + 2*B*b*d*n^2*x*x^(3*n)*e^(m*log(e) + m*log(x)) + 3*B*b*c*m^2*x*x^(2*n)*e^(m*log
(e) + m*log(x)) + 3*B*a*d*m^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*A*b*d*m^2*x*x^(2*n)*e^(m*log(e) + m*log(x)
) + 3*B*b*d*m^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 8*B*b*c*m*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 8*B*a*d*m*
n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 8*A*b*d*m*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 6*B*b*d*m*n*x*x^(2*n)*e^
(m*log(e) + m*log(x)) + 3*B*b*c*n^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*a*d*n^2*x*x^(2*n)*e^(m*log(e) + m*
log(x)) + 3*A*b*d*n^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 2*B*b*d*n^2*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*
a*c*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*b*c*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*c*m^2*x*x^n*e^(m*log
(e) + m*log(x)) + 3*A*a*d*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*a*d*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*
b*d*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*d*m^2*x*x^n*e^(m*log(e) + m*log(x)) + 10*B*a*c*m*n*x*x^n*e^(m*lo
g(e) + m*log(x)) + 10*A*b*c*m*n*x*x^n*e^(m*log(e) + m*log(x)) + 8*B*b*c*m*n*x*x^n*e^(m*log(e) + m*log(x)) + 10
*A*a*d*m*n*x*x^n*e^(m*log(e) + m*log(x)) + 8*B*a*d*m*n*x*x^n*e^(m*log(e) + m*log(x)) + 8*A*b*d*m*n*x*x^n*e^(m*
log(e) + m*log(x)) + 6*B*b*d*m*n*x*x^n*e^(m*log(e) + m*log(x)) + 6*B*a*c*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 6
*A*b*c*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*c*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 6*A*a*d*n^2*x*x^n*e^(m*
log(e) + m*log(x)) + 3*B*a*d*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*b*d*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 2
*B*b*d*n^2*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*a*c*m^2*x*e^(m*log(e) + m*log(x)) + 3*B*a*c*m^2*x*e^(m*log(e) +
m*log(x)) + 3*A*b*c*m^2*x*e^(m*log(e) + m*log(x)) + 3*B*b*c*m^2*x*e^(m*log(e) + m*log(x)) + 3*A*a*d*m^2*x*e^(
m*log(e) + m*log(x)) + 3*B*a*d*m^2*x*e^(m*log(e) + m*log(x)) + 3*A*b*d*m^2*x*e^(m*log(e) + m*log(x)) + 3*B*b*d
*m^2*x*e^(m*log(e) + m*log(x)) + 12*A*a*c*m*n*x*e^(m*log(e) + m*log(x)) + 10*B*a*c*m*n*x*e^(m*log(e) + m*log(x
)) + 10*A*b*c*m*n*x*e^(m*log(e) + m*log(x)) + 8*B*b*c*m*n*x*e^(m*log(e) + m*log(x)) + 10*A*a*d*m*n*x*e^(m*log(
e) + m*log(x)) + 8*B*a*d*m*n*x*e^(m*log(e) + m*log(x)) + 8*A*b*d*m*n*x*e^(m*log(e) + m*log(x)) + 6*B*b*d*m*n*x
*e^(m*log(e) + m*log(x)) + 11*A*a*c*n^2*x*e^(m*log(e) + m*log(x)) + 6*B*a*c*n^2*x*e^(m*log(e) + m*log(x)) + 6*
A*b*c*n^2*x*e^(m*log(e) + m*log(x)) + 3*B*b*c*n^2*x*e^(m*log(e) + m*log(x)) + 6*A*a*d*n^2*x*e^(m*log(e) + m*lo
g(x)) + 3*B*a*d*n^2*x*e^(m*log(e) + m*log(x)) + 3*A*b*d*n^2*x*e^(m*log(e) + m*log(x)) + 2*B*b*d*n^2*x*e^(m*log
(e) + m*log(x)) + 3*B*b*d*m*x*x^(3*n)*e^(m*log(e) + m*log(x)) + 3*B*b*d*n*x*x^(3*n)*e^(m*log(e) + m*log(x)) +
3*B*b*c*m*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*a*d*m*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*x*x^(2*n
)*e^(m*log(e) + m*log(x)) + 3*B*b*d*m*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 4*B*b*c*n*x*x^(2*n)*e^(m*log(e) + m*
log(x)) + 4*B*a*d*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 4*A*b*d*n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*b*d*
n*x*x^(2*n)*e^(m*log(e) + m*log(x)) + 3*B*a*c*m*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*b*c*m*x*x^n*e^(m*log(e) +
m*log(x)) + 3*B*b*c*m*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*a*d*m*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*a*d*m*x*x^
n*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*d*m*x*x^n*e^(m*log(e) + m*log(x))
+ 5*B*a*c*n*x*x^n*e^(m*log(e) + m*log(x)) + 5*A*b*c*n*x*x^n*e^(m*log(e) + m*log(x)) + 4*B*b*c*n*x*x^n*e^(m*log
(e) + m*log(x)) + 5*A*a*d*n*x*x^n*e^(m*log(e) + m*log(x)) + 4*B*a*d*n*x*x^n*e^(m*log(e) + m*log(x)) + 4*A*b*d*
n*x*x^n*e^(m*log(e) + m*log(x)) + 3*B*b*d*n*x*x^n*e^(m*log(e) + m*log(x)) + 3*A*a*c*m*x*e^(m*log(e) + m*log(x)
) + 3*B*a*c*m*x*e^(m*log(e) + m*log(x)) + 3*A*b*c*m*x*e^(m*log(e) + m*log(x)) + 3*B*b*c*m*x*e^(m*log(e) + m*lo
g(x)) + 3*A*a*d*m*x*e^(m*log(e) + m*log(x)) + 3*B*a*d*m*x*e^(m*log(e) + m*log(x)) + 3*A*b*d*m*x*e^(m*log(e) +
m*log(x)) + 3*B*b*d*m*x*e^(m*log(e) + m*log(x)) + 6*A*a*c*n*x*e^(m*log(e) + m*log(x)) + 5*B*a*c*n*x*e^(m*log(e
) + m*log(x)) + 5*A*b*c*n*x*e^(m*log(e) + m*log(x)) + 4*B*b*c*n*x*e^(m*log(e) + m*log(x)) + 5*A*a*d*n*x*e^(m*l
og(e) + m*log(x)) + 4*B*a*d*n*x*e^(m*log(e) + m*log(x)) + 4*A*b*d*n*x*e^(m*log(e) + m*log(x)) + 3*B*b*d*n*x*e^
(m*log(e) + m*log(x)) + B*b*d*x*x^(3*n)*e^(m*log(e) + m*log(x)) + B*b*c*x*x^(2*n)*e^(m*log(e) + m*log(x)) + B*
a*d*x*x^(2*n)*e^(m*log(e) + m*log(x)) + A*b*d*x*x^(2*n)*e^(m*log(e) + m*log(x)) + B*b*d*x*x^(2*n)*e^(m*log(e)
+ m*log(x)) + B*a*c*x*x^n*e^(m*log(e) + m*log(x)) + A*b*c*x*x^n*e^(m*log(e) + m*log(x)) + B*b*c*x*x^n*e^(m*log
(e) + m*log(x)) + A*a*d*x*x^n*e^(m*log(e) + m*log(x)) + B*a*d*x*x^n*e^(m*log(e) + m*log(x)) + A*b*d*x*x^n*e^(m
*log(e) + m*log(x)) + B*b*d*x*x^n*e^(m*log(e) + m*log(x)) + A*a*c*x*e^(m*log(e) + m*log(x)) + B*a*c*x*e^(m*log
(e) + m*log(x)) + A*b*c*x*e^(m*log(e) + m*log(x)) + B*b*c*x*e^(m*log(e) + m*log(x)) + A*a*d*x*e^(m*log(e) + m*
log(x)) + B*a*d*x*e^(m*log(e) + m*log(x)) + A*b*d*x*e^(m*log(e) + m*log(x)) + B*b*d*x*e^(m*log(e) + m*log(x)))
/(m^4 + 6*m^3*n + 11*m^2*n^2 + 6*m*n^3 + 4*m^3 + 18*m^2*n + 22*m*n^2 + 6*n^3 + 6*m^2 + 18*m*n + 11*n^2 + 4*m +
6*n + 1)

Mupad [B] (verification not implemented)

Time = 9.13 (sec) , antiderivative size = 271, normalized size of antiderivative = 2.51 \[ \int (e x)^m \left (a+b x^n\right ) \left (A+B x^n\right ) \left (c+d x^n\right ) \, dx=\frac {A\,a\,c\,x\,{\left (e\,x\right )}^m}{m+1}+\frac {x\,x^{2\,n}\,{\left (e\,x\right )}^m\,\left (A\,b\,d+B\,a\,d+B\,b\,c\right )\,\left (m^2+4\,m\,n+2\,m+3\,n^2+4\,n+1\right )}{m^3+6\,m^2\,n+3\,m^2+11\,m\,n^2+12\,m\,n+3\,m+6\,n^3+11\,n^2+6\,n+1}+\frac {x\,x^n\,{\left (e\,x\right )}^m\,\left (A\,a\,d+A\,b\,c+B\,a\,c\right )\,\left (m^2+5\,m\,n+2\,m+6\,n^2+5\,n+1\right )}{m^3+6\,m^2\,n+3\,m^2+11\,m\,n^2+12\,m\,n+3\,m+6\,n^3+11\,n^2+6\,n+1}+\frac {B\,b\,d\,x\,x^{3\,n}\,{\left (e\,x\right )}^m\,\left (m^2+3\,m\,n+2\,m+2\,n^2+3\,n+1\right )}{m^3+6\,m^2\,n+3\,m^2+11\,m\,n^2+12\,m\,n+3\,m+6\,n^3+11\,n^2+6\,n+1} \]

[In]

int((e*x)^m*(A + B*x^n)*(a + b*x^n)*(c + d*x^n),x)

[Out]

(A*a*c*x*(e*x)^m)/(m + 1) + (x*x^(2*n)*(e*x)^m*(A*b*d + B*a*d + B*b*c)*(2*m + 4*n + 4*m*n + m^2 + 3*n^2 + 1))/
(3*m + 6*n + 12*m*n + 11*m*n^2 + 6*m^2*n + 3*m^2 + m^3 + 11*n^2 + 6*n^3 + 1) + (x*x^n*(e*x)^m*(A*a*d + A*b*c +
B*a*c)*(2*m + 5*n + 5*m*n + m^2 + 6*n^2 + 1))/(3*m + 6*n + 12*m*n + 11*m*n^2 + 6*m^2*n + 3*m^2 + m^3 + 11*n^2
+ 6*n^3 + 1) + (B*b*d*x*x^(3*n)*(e*x)^m*(2*m + 3*n + 3*m*n + m^2 + 2*n^2 + 1))/(3*m + 6*n + 12*m*n + 11*m*n^2
+ 6*m^2*n + 3*m^2 + m^3 + 11*n^2 + 6*n^3 + 1)